Software bugs - PDFSEARCH.IO - Document Search Engine

Software bugs
Results: 1223

#	Item
201	Bed Bugs: The Australian Response Add to Reading List Source URL: medent.usyd.edu.au Language: English - Date: 2011-06-05 20:38:25 Phyla Protostome Parasites Bed bug Agronomy Biological pest control Orkin Software bug Integrated pest management Hemiptera Agriculture Pest control
202	Compile-time stack requirements analysis with GCC Motivation, Development, and Experiments Results Eric Botcazou, Cyrille Comar, Olivier Hainque AdaCore {botcazou, comar, hainque}@adacore.com Add to Reading List Source URL: www.adacore.com Language: English Compiler construction Software bugs Programming language implementation Subroutines Stack Call stack C Pointer GNU Compiler Collection Computing Software engineering Computer programming
203	University of California Los Angeles Symbolic Execution Algorithms for Test Generation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:40 Software bugs Software testing Automated theorem proving Concolic testing Buffer overflow Symbolic execution Arithmetic overflow String C Software engineering Computing Computer programming
204	Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:09:41 Software bugs Data types Source code Procedural programming languages Pointer C Abstract interpretation Static program analysis Buffer overflow Software engineering Computing Computer programming
205	A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for $8 Each Claire Le Goues Michael Dewey-Vogt Computer Science Department University of Virginia Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2012-06-28 00:31:08 Debugging Computer security Software development process OpenOffice.org Software Software testing Software bug
206	Address Space Layout Permutation (ASLP): Towards Fine-Grained Randomization of Commodity Software Chongkyung Kil∗, Jinsuk Jun∗, Christopher Bookholt∗, Jun Xu†, Peng Ning∗ Department of Computer Science∗ North Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:25:57 Software bugs C Standard Library Memory management Address space layout randomization PaX C dynamic memory allocation Exec Shield Return-to-libc attack Relocation Computing Computer programming Software
207	www.dspace.com Safely Excluding Serious Errors Translation of “Schwere Fehler sicher ausschließen” Published at: Elektronik Automotive Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-19 10:20:55 Software bugs Abstract interpretation Astrée Embedded systems Program analysis Cross-platform software Worst-case execution time TargetLink Static program analysis Computing Software engineering Computer programming
208	Electronic Communications of the EASST VolumeProceedings of the Fourth International Workshop on Foundations and Techniques for Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:24:56 Data types Software bugs Primitive types C programming language C++ Coccinelle Pointer C OCaml Software engineering Computing Computer programming
209	Real-world Polymorphic Attack Detection Michalis Polychronakis,1 Kostas G. Anagnostakis,2 Evangelos P. Markatos1 1 Institute of Computer Science, Foundation for Research & Technology – Hellas, {mikepo, markatos}@ics.fo Add to Reading List Source URL: www.ics.forth.gr Language: English - Date: 2012-03-22 09:28:01 Computer network security Shellcode Software bugs Polymorphic code Buffer overflow Metasploit Project Exploit Conficker Computer virus Cyberwarfare Computer security Computing
210	EHJ 4(2) quark:29 AM Add to Reading List Source URL: medent.usyd.edu.au Language: English - Date: 2004-09-05 09:55:22 Hemiptera Biology Bed bug Cimicidae Medical entomology Software bug Triatominae Epidemiology of bed bugs Parasites Phyla Protostome

UPDATE